Domain Representations Induced by Dyadic Subbases
نویسندگان
چکیده
We study domain representations induced by dyadic subbases and show that a proper dyadic subbase S of a second-countable regular space X induces an embedding of X in the set of minimal limit elements of a subdomain D of Tω . In particular, if X is compact, then X is a retract of the set of limit elements of D.
منابع مشابه
Topology Proceedings DYADIC SUBBASES AND EFFICIENCY PROPERTIES OF THE INDUCED {0, 1,⊥}ω-REPRESENTATIONS
A dyadic subbase induces a representation of a second-countable regular space as a subspace of the space of infinite sequences of {0, 1,⊥}, which is known as Plotkin’s . We study four properties of dyadic subbases – full-representing, canonically representing, independent, and minimal – which express efficiency properties of the induced representations.
متن کاملDyadic Subbases and Representations of Topological Spaces
We explain topological properties of the embedding-based approach to computability on topological spaces [10–12]. With this approach, a special kind of embeddings of topological spaces into Plotkin’s Tω, which is the set of infinite sequences of T = {0, 1,⊥}, are considered. Such an embedding can also be characterized by a dyadic subbase, which is a countable subbase S = (S 0 , S 1 0 , S 0 1 , ...
متن کاملStrong sequences, binary families and Esenin-Volpin’s theorem
One of the most important and well known theorem in the class of dyadic spaces is Esenin-Volpin’s theorem of weight of dyadic spaces. The aim of this paper is to prove Esenin-Volpin’s theorem in general form in class of thick spaces which possesses special subbases.
متن کاملA time-frequency search for stock market anomalies
We carry out a time-frequency analysis of daily values of the Dow Jones Industrial Average and the S&P 500 Index of stock prices based on 62 years of data. The algorithm used is based on pruning dyadic trees to obtain optimal stationary segmentations of non-stationary time series. The resulting time-frequency representations yield insights into the frequency-domain evolution of the US stock mar...
متن کاملA Duality Approach to Representations of Baumslag-solitar Groups
We give an operator theoretic approach to the constructions of multiresolutions as they are used in a number of basis constructions with wavelets, and in Hilbert spaces on fractals. Our approach starts with the following version of the classical Baumslag-Solitar relations ut = tu where t is a unitary operator in a Hilbert space H and u is an isometry in H. There are isometric dilations of this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logical Methods in Computer Science
دوره 11 شماره
صفحات -
تاریخ انتشار 2014